home *** CD-ROM | disk | FTP | other *** search
- %
- % @(#)RISC.m 1.1 3/16/88
- %
- export _RISCObject to "Builtins"
- const _RISCObject == immutable object _RISCObject
- export getSignature
- const _RISCType == type _RISCType
- function lowerbound -> [Integer]
- function upperbound -> [Integer]
- function getElement [Integer] -> [Character]
- end _RISCType
- function getSignature -> [r : Signature]
- r <- _RISCType
- end getSignature
- end _RISCObject
-